Nuprl Definition : eclthrow? 0,22
eclthrow?(x)
== ecl_ind(x;k,test.false;a,b,rec1,rec2.false;a,b,rec1,rec2.false;a,b,rec1,rec2.false;a,rec1.false;a,n,rec1.false;a,n,rec1.true;a,l,rec1.false) 
latex

Definitionsecl ind, true, false
FDL editor aliaseseclthrow?

origin